Generalized typestate checking using set interfaces and pluggable analysesLAM, Patrick; KUNCAK, Viktor; RINARD, Martin et al.ACM SIGPLAN notices. 2004, Vol 39, Num 3, pp 46-55, issn 1523-2867, 10 p.Article

Boolean algebra of shape analysis constraintsKUNCAK, Viktor; RINARD, Martin.Lecture notes in computer science. 2004, pp 59-72, issn 0302-9743, isbn 3-540-20803-8, 14 p.Conference Paper

Software Synthesis ProceduresKUNCAK, Viktor; MAYER, Mikael; PISKAC, Ruzica et al.Communications of the ACM. 2012, Vol 55, Num 2, pp 103-111, issn 0001-0782, 9 p.Article

Generalized lypestate checking for data structure consistencyLAM, Patrick; KUNCAK, Viktor; RINARD, Martin et al.Lecture notes in computer science. 2005, pp 430-447, issn 0302-9743, isbn 3-540-24297-X, 18 p.Conference Paper

Trustworthy Numerical Computation in ScalaDARULOVA, Eva; KUNCAK, Viktor.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 325-344, issn 1523-2867, 20 p.Conference Paper

A language for role specificationsKUNCAK, Viktor; LAM, Patrick; RINARD, Martin et al.Lecture notes in computer science. 2003, pp 366-382, issn 0302-9743, isbn 3-540-04029-3, 17 p.Conference Paper

An algorithm for deciding BAPA : Boolean algebra with presburger arithmeticKUNCAK, Viktor; NGUYEN, Huu Hai; RINARD, Martin et al.Lecture notes in computer science. 2005, pp 260-277, issn 0302-9743, isbn 3-540-28005-7, 18 p.Conference Paper

Full Functional Verification of Linked Data StructuresZEE, Karen; KUNCAK, Viktor; RINARD, Martin C et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 349-361, issn 1523-2867, 13 p.Conference Paper

Confluence of untyped lambda calculus via simple typesGHILEZAN, Silvia; KUNCAK, Viktor.Lecture notes in computer science. 2001, pp 38-49, issn 0302-9743, isbn 3-540-42672-8Conference Paper

Role analysisKUNCAK, Viktor; LAM, Patrick; RINARD, Martin et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 17-32, issn 1523-2867Conference Paper

Decision Procedures for Algebraic Data Types with AbstractionsSUTER, Philippe; DOTTA, Mirco; KUNCAK, Viktor et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 199-210, issn 1523-2867, 12 p.Conference Paper

Complete Functional SynthesisKUNCAK, Viktor; MAYER, Mikaël; PISKAC, Ruzica et al.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 316-329, issn 1523-2867, 14 p.Conference Paper